GUIX_PROFILE="${GUIX_EXTRA_PROFILES}/fp-in-erlang-course/fp-in-erlang-course"; source "${GUIX_PROFILE}/etc/profile"

